How to write class expressions in different style?

Using the ontopuml library, complex class expression can be drawn in cascade. Two slightly different notational styles can be used for both detailed and quick diagramming, respectively. We first start with the `detailed' method.

Object property restriction

Class expressions in OWL 2 can be formed by placing restrictions on object property expressions. e.g.,


iof:Identifier SubClassOf: iof:designates some bfo:Entity


class(i, iof:Identifier)
class(e, bfo:Entity)
some(cp1, iof:designates, e)
subClass(i, cp1)
uml diagram